大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Mathematical Software Symposium 的图书(共4258本)

FM 2011: Formal Methods [electronic resource] : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings

0
索取号：
作者：Butler、 Michael.、Schulte、 Wolfram.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Top Productivity through Software Reuse [electronic resource] : 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings

0
索取号：
作者：Schmid、 Klaus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Reliable Software Technologies - Ada-Europe 2011 [electronic resource] : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

0
索取号：
作者：Romanovsky、 Alexander.、Vardanega、 Tullio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Damped Oscillations of Linear Systems [electronic resource] : A Mathematical Introduction

0
索取号：
作者：Veseli膰、 Kre拧imir.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems [electronic resource] : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

0
索取号：
作者：Calinescu、 Radu.、Jackson、 Ethan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Bioinformatics Research and Applications [electronic resource] : 7th International Symposium, ISBRA 2011, Changsha, China, May 27-29, 2011. Proceedings

0
索取号：
作者：Chen、 Jianer.、Wang、 Jianxin.、Zelikovsky、 Alexander.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software Process Improvement and Capability Determination [electronic resource] : 11th International Conference, SPICE 2011, Dublin, Ireland, May 30 鈥ʵne 1, 2011. Proceedings

0
索取号：
作者：O鈥機onnor、 Rory V.、Rout、 Terry.、McCaffery、 Fergal.、Dorling、 Alec.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Models in Software Engineering [electronic resource] : Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers

0
索取号：
作者：Dingel、 Juergen.、Solberg、 Arnor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Neural Networks-ISNN 2011 [electronic resource] : 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29鈥揓une 1, 2011, Proceedings, Part III

0
索取号：
作者：Liu、 Derong.、Zhang、 Huaguang.、Polycarpou、 Marios.、Alippi、 Cesare.、He、 Haibo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Neural Networks-ISNN 2011 [electronic resource] : 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29鈥揓une 1, 2011, Proceedings, Part I

0
索取号：
作者：Liu、 Derong.、Zhang、 Huaguang.、Polycarpou、 Marios.、Alippi、 Cesare.、He、 Haibo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Advances in Neural Networks-ISNN 2011 [electronic resource] : 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29鈥揓une 1, 2011, Proceedings, Part II

0
索取号：
作者：Liu、 Derong.、Zhang、 Huaguang.、Polycarpou、 Marios.、Alippi、 Cesare.、He、 Haibo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

The Art of Software Innovation [electronic resource] : Eight Practice Areas to Inspire your Business

0
索取号：
作者：Pikkarainen、 Minna.、Codenie、 Wim.、Boucart、 Nick.、Heredia Alvaro、 Jos茅 Antonio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Relating Software Requirements and Architectures [electronic resource]

0
索取号：
作者：Avgeriou、 Paris.、Grundy、 John.、Hall、 Jon G.、Lago、 Patricia.、Mistr铆k、 Ivan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Modern Mathematical Tools and Techniques in Capturing Complexity [electronic resource]

0
索取号：
作者：Pardo、 Leandro.、Balakrishnan、 Narayanaswamy.、Gil、 Mar铆a 脕ngeles.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Science-Theory and Applications [electronic resource] : 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings

0
索取号：
作者：Kulikov、 Alexander.、Vereshchagin、 Nikolay.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 12th International Conference, XP 2011, Madrid, Spain, May 10-13, 2011. Proceedings

0
索取号：
作者：Sillitti、 Alberto.、Hazzan、 Orit.、Bache、 Emily.、Albaladejo、 Xavier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院